Function model - PDFSEARCH.IO - Document Search Engine

Function model
Results: 1865

#	Item
351	Doc No: N3327=Date: Project: JTC1Reply to: Niklas Gustafsson Add to Reading List Source URL: www.open-std.org Language: English - Date: 2012-01-12 10:29:58 Object-oriented programming Actor model Futures and promises Inter-process communication C++ Standard Library Futures contract Function object Sequence container C++ Computing Computer programming Software engineering
352	Proceedings of the 2005 International Conference on Simulation and Modeling V. Kachitvichyanukul, U. Purintrapiban, P. Utayopas, eds. BAYESIAN APPROACH FOR UNCERTAINTY ANALYSIS IN HYDROLOGICAL MODEL Khada Nanda Dulal and Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 21:55:18 Estimation theory Statistical inference Measurement GLUE Maximum likelihood Likelihood function Confidence interval Uncertainty Sensitivity analysis Statistics Statistical theory Bayesian statistics
353	RESEARCH REPORT Serial No. 477 November 2010 INVERSION OF BAYES FORMULA AND MEASURES OF BAYESIAN INFORMATION GAIN AND PAIRWISE Add to Reading List Source URL: lx2.saas.hku.hk Language: English - Date: 2010-11-09 04:53:42 Bayesian statistics Fisher information Conjugate prior Kullback–Leibler divergence Likelihood function Maximum likelihood Parametric model Statistics Estimation theory Statistical theory
354	Inquiry_Exponential Functions.qxp Add to Reading List Source URL: www.heinemann.com Language: English - Date: 2009-07-27 15:21:47 Exponential function Exponential growth Mathematical model Population growth Exponential Mathematics Exponentials Mathematical analysis
355	SoftCOM8th International Conference Software, Telecommunications and Computer Networks, Split, Croatia Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:48 Model checking Cryptography Boolean function Schedule Mathematics Information Data Boolean algebra Diagrams Binary decision diagram
356	Calibration Results of the Compact Infrared Camera (CIRC) Ground Test Model (9mm) 1) By Ryoko Nakamura , Haruyoshi Katayama1), Masataka Naitoh1), Masatomo Hadara1), Add to Reading List Source URL: circgs.tksc.jaxa.jp Language: English - Date: 2011-04-20 02:01:01 Radiation Image processing Modulation transfer function Optical transfer function Microbolometer Angle of view Infrared Thermographic camera Electromagnetic radiation Optics Infrared imaging
357	A Semantic Model for Graphical User Interfaces Neelakantan R. Krishnaswami Nick Benton Microsoft Research Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-07-12 04:10:50 Logic in computer science Deduction Denotational semantics Sheaf Entailment Combinatory logic Function Functional-theoretic algebra Natural deduction Logic Mathematics Abstract algebra
358	A Logic for Encapsulation in Object Oriented Languages (Extended Abstract) Michele Bugliesi1 Dip. di Matematica Pura ed Applicata, Univ. di Padova Via Belzoni 7, IPadova, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:22:33 Philosophical logic Metalogic Deduction Predicate logic Modal logic Entailment Interpretation Function Proof theory Logic Mathematical logic Model theory
359	LNCSSpecifying Compositional Units for Correct Program Development in Computational Logic Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2005-06-15 05:19:36 Mathematical logic Functions and mappings Metalogic Differential topology Interpretation Structure Function Embedding Sheaf Mathematics Model theory Topology
360	J. LOGIC PROGRAMMING 1993:16:TOWARDS A MEANING OF LIFE? Add to Reading List Source URL: hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:10:42 Lambda calculus Logic programming Functional programming Higher-order functions Model theory Unification Function Interpretation Constraint logic programming Software engineering Declarative programming Computing

UPDATE